class C<T : C<T>>